Formica truncicola var. obscuriventris